1. Algorithmic logic /
Author: G. Mirkowska and A. Salwicki
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Formal languages,Logic, Symbolic and mathematical
Classification :
QA267
.
3
.
M57
1987
2. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
3. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
4. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
5. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
6. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
Author: Georgios Paliouras, Yasubumi Sakakibara )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3264
7. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Author: Arlindo L. Oliveira )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1891
8. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
Author: Yasubumi Sakakibara....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4201
9. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
Author: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2484
10. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
11. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
12. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975
